Chaitin constant